In axiomatic set theory, the axiom of empty set is an axiom of Kripke?Platek set theory and the variant of general set theory that Burgess (2005) calls "ST," and a demonstrable truth in Zermelo set theory and Zermelo?Fraenkel set theory, with or without the axiom of choice.
详细百科解释